2017

国際会議(査読付)

[1] Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, and Cyrille Valentin Artho, "Classification Tree Method with Parameter Shielding", Proc. of the 36th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2017), pp. 230-241, September 2017.

2016

国際会議(査読付)

[1] Eun-Hye Choi, Cyrille Artho, Takashi Kitamura, Osamu Mizuno, and Akihisa Yamada, "Distance-integrated Combinatorial Testing", Proc. of 27th International Symposium on Software Reliability Engineering (ISSRE2016), pp. 93-104, October 2016.

[2] Akihisa Yamada, Armin Biere, Cyrille Artho, Takashi Kitamura, and Eun-Hye Choi, "Greedy Combinatorial Test Case Generation using Unsatisfiable Cores", Proc. of 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016), September 2016.

2015

国際会議(査読付)

[1] Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, and Yutaka Oiwa, "Priority Integration for Weighted Combinatorial Testing", Proc. of the IEEE Computer Software and Applications Conference (COMPSAC2015), pp. 242--247, July 2015.

[2] Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, and Armin Biere, "Optimization of Combinatorial Testing by Incremental SAT Solving", Proc. of the IEEE International Conference on Software Testing, Verification, and Validation (ICST2015), April 2015.

[3] Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Cyrille Artho, Eun-Hye Choi, Ngoc Do, Yutaka Oiwa, and Shinya Sakuragi, "Combinatorial Testing for Tree-Structured Test Models with Constraints", The 2015 International Conference on Software Quality, Reliability and Security (QRS), Best Paper, pp. 141--150, 2015.

2014

国内会議(査読付)

[1] Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, and Yutaka Oiwa, "T-wise test construction improving (T+1)-way coverage", Poster Presentation in the 6th International Workshop of Software Engineering in Practice (IWESEP2014), November 2014.